AI算法 - 智狐AI导航

CatVTON

CatVTON是一款基于先进AI算法的虚拟试衣工具，能够将服装从一个人无缝转移到另一个人身上，同时保留服装细节的一致性。该工具采用轻量级网络架构，减少了计算资源的需求，无需复杂的预处理步骤，即可实现高效的服装试穿效果。CatVTON适用于电子商务、时尚设计、个性化推荐等多个领域，为用户提供了便捷且真实感强的虚拟试衣体验。

AI项目与工具 2025年06月12日 42 点赞 0 评论 168 浏览

NightCafe

NightCafe是一款基于人工智能技术的在线艺术生成平台，支持用户通过文本描述或图片生成多样化的艺术作品。平台提供多种算法（如Stable Diffusion、DALL-E 2等），支持风格迁移与图像增强，并拥有活跃的社区功能，用户可分享作品、参与挑战及互动交流。此外，NightCafe还支持将艺术作品打印为实体形式。

AI项目与工具 2025年06月12日 12 点赞 0 评论 326 浏览

AI外教

AI外教是一款利用人工智能技术的虚拟外教口语学习应用，提供个性化的一对一口语练习、实时语法纠错、发音评分及专项备考功能，覆盖雅思、考研、四六级等多种考试题库。此外，它还结合哈佛系统课和CEFR分级体系，帮助用户循序渐进地提高英语口语能力，同时提供翻译、写作辅助等智能工具。 ---

AI项目与工具 2025年06月12日 35 点赞 0 评论 347 浏览

AuraFusion360

AuraFusion360是一款面向360°无边界场景修复的AI工具，采用高斯散射表示和深度感知技术，实现高质量的物体移除与孔洞填充。其核心包括自适应引导深度扩散（AGDD）和基于SDEdit的细节增强，确保多视角一致性。适用于虚拟现实、建筑可视化、影视特效及文物修复等多个领域，提供高效、精确的场景修复解决方案。

AI项目与工具 2025年06月12日 57 点赞 0 评论 350 浏览

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 469 浏览